<?php
function connection_user($user){
	$_SESSION['user'] = $user;	
}

?>